Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Property Testing
QuickCheck, Generative Testing, Haskell, Test Cases
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
11550
posts in
182.4
ms
Property-based
testing is about to
rule
the (software) world
tybug.dev
·
58m
·
Discuss:
Hacker News
🌳
Tree Shaking
mitsuhiko/insta
: A snapshot testing library for rust
github.com
·
43m
🚂
Cranelift IR
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
14h
⚡
Comptime Parsers
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
1d
·
Discuss:
Hacker News
💎
Refinement Types
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
3h
·
Discuss:
Lobsters
🎭
Racket
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
1d
🌊
Gradual Effects
Tracking Issue for
Generic
Constant
Arguments MVP · Issue #132980
github.com
·
14h
·
Discuss:
Hacker News
🔮
Type Inference Visualization
AlgoVeri
: An
Aligned
Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org
·
14h
🚀
Code Motion
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
1d
·
Discuss:
Hacker News
🔬
programming language theory
Notes on using AI tools for debugging, learning, and shipping software (as a
cautious
adopter
)
linkedin.com
·
1d
·
Discuss:
r/programming
🎮
Language Ergonomics
Rewrote
my Node.js data generator in Rust. 20x faster, but the 15MB binary (vs 500MB node_
modules
) is the real win.
algomimic.com
·
21h
·
Discuss:
r/rust
📋
Tablegen
Generics
docs.modular.com
·
3h
📐
Type Theory
Garnix
Blog:
Forwardly-evaluated
build systems
garnix.io
·
7h
·
Discuss:
Lobsters
🚂
Cranelift IR
Stryker
Mutator
: Test your tests with mutation testing
stryker-mutator.io
·
6h
·
Discuss:
Hacker News
🚚
Code Migration
Deterministic
Inference with
EigenAI
deterministicinference.com
·
28m
🗺️
Region Inference
Rust
Standard
Library Challenges
rustfinity.com
·
5h
·
Discuss:
r/rust
🚂
Cranelift IR
Prompt to Protocol:
Architecting
Agent-Oriented
Infrastructure for Production LLMs
pub.towardsai.net
·
6h
🎭
Program Synthesis
wordchipper
- my next-gen LLM tokenizer; looking for
LTR
release help
docs.rs
·
1d
·
Discuss:
r/rust
🔤
Language Tokenizers
Redefining
Go
Functions
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🌳
Tree Shaking
Deferred
member
initialization
in C++
sandordargo.com
·
20h
·
Discuss:
Lobsters
💬
Smalltalk VMs
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help